Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Análise qualitativa do risco no melhoramento de campo nativo na região da Campanha, RS.

O objetivo deste trabalho foi realizar uma análise qualitativa do risco na implantação de um processo de melhoramento do campo nativo.Editora técnica Claudia Cristina Gulias Gomes

Evolução do saco aneurismático após a exclusão cirúrgica dos aneurismas de artéria poplítea

Popliteal artery aneurysms are frequent and may lead to thromboembolic events and limb loss. PURPOSE: To evaluate clinical and ultrasonographic follow-up of patients who underwent exclusion of a popliteal artery aneurysm using the technique proposed by Edwards. METHODS: Data of all patients who underwent surgery to repair a popliteal artery aneurysm at Hospital das Clinicas, the São Paulo University Medical School between 1996 and 2004 were reviewed. Inclusion criteria were repair with aneurysm exclusion and bypass using the technique proposed by Edwards, as well as the existence of preoperative and postoperative measurements of the aneurysmal sac. RESULTS: Data of 16 patients who underwent 20 procedures for popliteal artery aneurysm exclusion and bypass were available to analysis. The preoperative diameter of the popliteal artery aneurysms ranged from 1.3 cm to 6.1 cm (mean = 3.1 cm). Patients underwent duplex ultrasound scanning 1 month to 7 years after surgical repair. Follow-up of the 20 cases revealed that 10 aneurysms exhibited decreased mean transverse diameters, ranging from 0.2 to 2.3 cm, while 7 had increased in diameter, ranging 0.3 to 3.3 cm, and 3 remained unchanged. Flow was observed only in 5 outo f the 20 procedures, 3 of which (60%) had increased diameters. CONCLUSION: Although exclusion is a widely accepted procedure for the repair of popliteal artery aneurysms, data in the literature and the results of this study, which did not include cases of rupture or compression, suggest that strict follow-up of patients who undergo aneurysm exclusion is necessary.Os aneurismas da artéria poplítea são freqüentes e estão associados a eventos trombo-embólicos que podem acarretar isquemia grave com risco de perda da extremidade inferior acometida. OBJETIVO: Avaliar a evolução clínica dos pacientes e ultra-sonográfica dos aneurismas de artéria poplítea excluídos pela técnica de Edwards. MÉTODO: Análise retrospectiva dos pacientes com diagnóstico de aneurisma da artéria poplítea operados no Hospital das Clínicas da Faculdade de Medicina da Universidade de São Paulo, no período compreendido entre os anos de 1996 a 2004. Foram incluídos os pacientes submetidos à exclusão do aneurisma pela técnica de Edwards e que possuíam diâmetro transverso máximo do aneurisma mensurado no período pré e pós-operatório. RESULTADOS: Dezesseis pacientes foram submetidos a correção cirúrgica de 20 aneurismas. O diâmetro do aneurisma no período pré-operatório variou entre 1,3 cm a 6,1 cm (média 3,1cm). O controle ultrasonográfico foi realizado em intervalo de 1 mês a 7 anos do procedimento cirúrgico. Houve diminuição do diâmetro do aneurisma de artéria poplítea em 10/20 extremidades (variação de 0,2 cm a 2,3 cm), aumento em 7/20 (variação de 0,3 cm a 3,3 cm) e estabilidade em 3/20. Observou-se a ocorrência de fluxo no saco aneurismático em 5 dentre os 20 procedimentos. Destes, três apresentaram crescimento do mesmo (60% dos casos com fluxo). CONCLUSÃO: Esta amostra de pacientes, sem rotura ou sinais e sintomas de compressão, associada à análise da literatura, demonstra que o seguimento estreito do aneurisma excluído é necessário

Human-derived NLS enhance the gene transfer efficiency of chitosan

Nuclear import is considered as one of the major limitations for non-viral gene delivery systems and the incorporation of nuclear localization signals (NLS) that mediate nuclear intake can be used as a strategy to enhance internalization of exogenous DNA. In this work, human-derived endogenous NLS peptides based on insulin growth factor binding proteins (IGFBP), namely IGFBP-3 and IGFBP-5, were tested for their ability to improve nuclear translocation of genetic material by non-viral vectors. Several strategies were tested to determine their effect on chitosan mediated transfection efficiency: co-administration with polyplexes, co-complexation at the time of polyplex formation, and covalent ligation to chitosan. Our results show that co-complexation and covalent ligation of the NLS peptide derived from IGFBP-3 to chitosan polyplexes yields a 2-fold increase in transfection efficiency, which was not observed for NLS peptide derived from IGFBP-5. These results indicate that the integration of IGFBP-NLS-3 peptides into polyplexes has potential as a strategy to enhance the efficiency of non-viral vectors.FCT: PTDC/BTM/ORG/28121/2017; PD/BD/52424/2013; SFRH/BD/76873/2011;PIRG-GA-2009-249314info:eu-repo/semantics/publishedVersio

Estimativa do custo de produção de leite na região bragantina.

bitstream/item/61969/1/Belem-Doc2.pd

Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)